<?php
/**
 * @return never
 */
function testNever() : never {
    die;
}
testNever();
